L systems.dvi
نویسندگان
چکیده
L systems are parallel rewriting systems which were originally introduced in 1968 to model the development of multicellular organisms, [L1]. The basic ideas gave rise to an abundance of language-theoretic problems, both mathematically challenging and interesting from the point of view of diverse applications. After an exceptionally vigorous initial research period (roughly up to 1975; in the book [RSed2], published in 1985, the period up to 1975 is referred to, [RS2], as “when L was young”), some of the resulting language families, notably the families of D0L, 0L, DT0L, E0L and ET0L languages, had emerged as fundamental ones in the parallel or L hierarchy. Indeed, nowadays the fundamental L families constitute a similar testing ground as the Chomsky hierarchy when new devices (grammars, automata, etc.) and new phenomena are investigated in language theory. L systems were introduced by Aristid Lindenmayer in 1968, [L1]. The original purpose was to model the development of simple filamentous organisms. The development happens in parallel everywhere in the organism. Therefore, parallelism is a built-in characteristic of L-systems. This means, from the point of view of rewriting, that everything has to be rewritten at each step of the rewriting process. This is to be contrasted to the “sequential” rewriting of phrase structure grammars: only a specific part of the word under scan is rewritten at each step. Of course, the effect of parallelism can be reached by several se-
منابع مشابه
Design of Convergent Switched Systems.dvi
In this paper we deal with the problem of rendering hybrid/nonlinear systems into convergent closed-loop systems by means of a feedback law or switching rules. We illustrate our approach to this problem by means of two examples: the antiwindup design for a marginally stable system with input saturation, and the design of a switching rule for a piece-wise affine system operating in different modes.
متن کاملSome hierarchies for the communication complexity measures of cooperating grammar systems.dvi
We investigate here the descriptional and the computational complexity of parallel communicating grammar systems (PCGS). A new descriptional complexity measure the communication structure of the PCGS is introduced and related to the communication complexity (the number of communications). Several hierarchies resulting from these complexity measures and some relations between the measures are es...
متن کاملDirected graphs for the analysis of rigidity and persistence in autonomous agent systems.dvi
We consider in this paper formations of autonomous agents moving in a 2-dimensional space. Each agent tries to maintain its distances toward a pre-specified group of other agents constant and the problem is to determine if one can guarantee that the distance between every pair of agents (even those not explicitly maintained) remains constant, resulting in the persistence of the formation shape....
متن کاملTest sequencing in complex manufacturing systems.dvi
Testing complex manufacturing systems, such as an ASML [1] lithographic machine, takes up to 45% of the total development time of a system. The problem of which tests must be executed in what sequence to ensure in the shortest possible test time that the system works, the test sequencing problem, was already solved by Pattipati [2], [3] for the diagnosis of systems during operation. Test sequen...
متن کاملAn Empirical Investigation into the Security of Phone Features in SIP-based VoIP Systems.dvi
Phone features, e.g., 911 call, voicemail, and Do Not Disturb, are critical and necessary for all deployed VoIP systems. In this paper, we empirically investigate the security of these phone features. We have implemented a number of attacks and experimented with VoIP services by leading VoIP service providers Vonage, AT&T and Gizmo. Our experimental results demonstrate that a man-in-the-middle ...
متن کامل